Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
511	PDF Document Add to Reading List Source URL: people.uleth.ca Language: English - Date: 2008-05-01 19:55:27 Lambda calculus Computability theory Logic in computer science Model theory Proof theory Combinatory logic Haskell Curry Stephen Cole Kleene Type theory Mathematics Mathematical logic Logic
512	PDF Document Add to Reading List Source URL: agi-conf.org Language: English - Date: 2009-05-19 04:45:33 Type theory Computability theory Functions and mappings Recursion Lambda calculus Administrative normal form Type system Function Primitive recursive function Mathematics Mathematical logic Software engineering
513	PDF Document Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2006-01-30 15:28:37 Functions and mappings Model theory Computability theory Nonassociative algebra Principia Mathematica Primitive recursive function Function FO Constructible universe Mathematics Mathematical logic Logic
514	PDF Document Add to Reading List Source URL: www.slac.stanford.edu Language: English Theoretical computer science Functions and mappings Mathematical logic Elementary mathematics Computable function Primitive recursive function Algorithm Computability Discrete mathematics Mathematics Theory of computation Computability theory
515	PDF Document Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2002-01-14 17:15:00 Proof theory Model theory Computability theory Predicate logic First-order logic Peano axioms Arithmetical hierarchy Constructible universe Bounded quantifier Mathematical logic Logic Mathematics
516	PDF Document Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 1999-11-30 09:55:10 Logic Metalogic Model theory Constructible universe Theory of computation Forcing Μ operator Primitive recursive function Mathematical logic Mathematics Computability theory
517	PDF Document Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2009-04-12 21:16:41 Mathematical logic Theory of computation Theoretical computer science Models of computation Entscheidungsproblem Alonzo Church Stephen Cole Kleene Turing machine Lambda calculus Mathematics Computability theory Logic
518	PDF Document Add to Reading List Source URL: www.loria.fr Language: English - Date: 2009-04-16 08:57:17 Theory of computation Mathematical logic Randomness Computable number Algorithmically random sequence Computable function Random sequence Measure-preserving dynamical system Algorithmic information theory Theoretical computer science Computability theory Mathematics
519	PDF Document Add to Reading List Source URL: nzmathsoc.org.nz Language: English - Date: 2010-01-08 22:49:44 Applied mathematics Low High Computational complexity theory Turing reduction Mathematical logic Turing degree Alan Turing Complexity Computability theory Theoretical computer science Mathematics
520	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-11-11 17:02:40 Quantification Computability theory Functions and mappings Predicate logic Function FO Constructible universe Universal property Lambda calculus Mathematics Mathematical logic Logic

UPDATE